[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 146 161 712 144 0 0 348

N.S.

1 1.00 0.53 0.59 2.59 0.52 0.00 0.00 1.27

time (sec)

N/A 0.456 0.851 0.528 0.601 0.358 0.000 0.000 5.142

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 124 139 619 126 0 0 316

N.S.

1 1.00 0.54 0.61 2.71 0.55 0.00 0.00 1.39

time (sec)

N/A 0.404 0.765 0.393 0.578 0.373 0.000 0.000 4.915

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 102 117 527 107 0 0 259

N.S.

1 1.00 0.56 0.65 2.91 0.59 0.00 0.00 1.43

time (sec)

N/A 0.349 0.615 0.382 0.550 0.370 0.000 0.000 4.804

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 80 95 436 88 0 0 197

N.S.

1 1.00 0.60 0.71 3.25 0.66 0.00 0.00 1.47

time (sec)

N/A 0.299 0.366 0.363 0.594 0.354 0.000 0.000 2.444

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 106 287 1462 130 0 0 -1

N.S.

1 1.00 0.73 1.98 10.08 0.90 0.00 0.00 -0.01

time (sec)

N/A 0.284 0.435 0.419 0.691 0.399 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 107 308 1801 119 0 0 -1

N.S.

1 1.00 0.73 2.11 12.34 0.82 0.00 0.00 -0.01

time (sec)

N/A 0.294 0.355 0.421 0.748 0.401 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 121 233 1884 133 0 0 -1

N.S.

1 1.00 0.79 1.52 12.31 0.87 0.00 0.00 -0.01

time (sec)

N/A 0.293 0.485 0.411 0.733 0.403 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 141 309 3023 153 0 0 -1

N.S.

1 1.00 0.70 1.54 15.12 0.76 0.00 0.00 -0.00

time (sec)

N/A 0.346 0.548 0.446 0.820 0.401 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 158 381 8901 171 0 0 -1

N.S.

1 1.00 0.64 1.54 36.04 0.69 0.00 0.00 -0.00

time (sec)

N/A 0.404 0.815 0.373 1.128 0.449 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 171 185 763 176 0 0 789

N.S.

1 1.00 0.53 0.57 2.37 0.55 0.00 0.00 2.45

time (sec)

N/A 0.601 0.968 0.569 0.617 0.402 0.000 0.000 6.192

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 147 163 672 156 0 0 751

N.S.

1 1.00 0.53 0.59 2.44 0.57 0.00 0.00 2.73

time (sec)

N/A 0.542 1.350 0.420 0.567 0.393 0.000 0.000 5.810

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 126 141 579 135 0 0 617

N.S.

1 1.00 0.55 0.62 2.54 0.59 0.00 0.00 2.71

time (sec)

N/A 0.476 0.990 0.396 0.576 0.381 0.000 0.000 5.725

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 104 119 488 114 0 0 579

N.S.

1 1.00 0.57 0.66 2.70 0.63 0.00 0.00 3.20

time (sec)

N/A 0.425 0.740 0.380 0.557 0.368 0.000 0.000 4.995

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 130 389 1713 162 0 0 -1

N.S.

1 1.00 0.68 2.03 8.92 0.84 0.00 0.00 -0.01

time (sec)

N/A 0.396 0.888 0.430 0.676 0.398 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 130 492 2780 166 0 0 -1

N.S.

1 1.00 0.67 2.55 14.40 0.86 0.00 0.00 -0.01

time (sec)

N/A 0.428 0.780 0.447 0.752 0.466 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 126 344 0 147 0 0 -1

N.S.

1 1.00 0.64 1.74 0.00 0.74 0.00 0.00 -0.01

time (sec)

N/A 0.425 0.838 0.459 0.000 0.400 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 141 305 3071 163 0 0 -1

N.S.

1 1.00 0.70 1.52 15.36 0.82 0.00 0.00 -0.00

time (sec)

N/A 0.417 1.044 0.439 0.865 0.448 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 159 383 9390 183 0 0 -1

N.S.

1 1.00 0.64 1.55 38.02 0.74 0.00 0.00 -0.00

time (sec)

N/A 0.469 1.021 0.392 1.106 0.439 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 181 455 10042 203 0 0 -1

N.S.

1 1.00 0.62 1.55 34.16 0.69 0.00 0.00 -0.00

time (sec)

N/A 0.540 1.499 0.381 1.147 0.444 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 272 793 0 198 0 0 -1

N.S.

1 1.00 0.92 2.69 0.00 0.67 0.00 0.00 -0.00

time (sec)

N/A 0.665 9.599 0.398 0.000 0.430 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 250 657 0 181 0 0 -1

N.S.

1 1.00 1.00 2.63 0.00 0.72 0.00 0.00 -0.00

time (sec)

N/A 0.535 6.980 0.498 0.000 0.425 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

207 207 1718 521 0 164 0 0 -1

N.S.

1 1.00 8.30 2.52 0.00 0.79 0.00 0.00 -0.00

time (sec)

N/A 0.408 8.013 0.462 0.000 0.390 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

162 162 617 384 0 143 0 0 -1

N.S.

1 1.00 3.81 2.37 0.00 0.88 0.00 0.00 -0.01

time (sec)

N/A 0.285 6.842 0.441 0.000 0.381 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-2) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

119 119 203 231 0 110 0 0 -1

N.S.

1 1.00 1.71 1.94 0.00 0.92 0.00 0.00 -0.01

time (sec)

N/A 0.194 1.682 0.411 0.000 0.420 0.000 0.000 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 102 153 0 96 0 0 -1

N.S.

1 1.00 0.73 1.09 0.00 0.69 0.00 0.00 -0.01

time (sec)

N/A 0.217 0.241 0.401 0.000 1.128 0.000 0.000 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 467 232 0 168 0 0 -1

N.S.

1 1.00 2.58 1.28 0.00 0.93 0.00 0.00 -0.01

time (sec)

N/A 0.325 1.476 0.423 0.000 1.412 0.000 0.000 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 412 301 0 194 0 0 -1

N.S.

1 1.00 1.79 1.31 0.00 0.84 0.00 0.00 -0.00

time (sec)

N/A 0.438 1.555 0.459 0.000 2.362 0.000 0.000 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 143 317 0 208 0 0 -1

N.S.

1 1.00 0.74 1.65 0.00 1.08 0.00 0.00 -0.01

time (sec)

N/A 0.415 0.491 0.511 0.000 14.318 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 262 731 0 237 0 0 -1

N.S.

1 1.00 0.83 2.31 0.00 0.75 0.00 0.00 -0.00

time (sec)

N/A 0.709 3.116 0.517 0.000 0.401 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 236 595 0 220 0 0 -1

N.S.

1 1.00 0.87 2.20 0.00 0.81 0.00 0.00 -0.00

time (sec)

N/A 0.561 2.819 0.466 0.000 0.393 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 215 457 0 197 0 0 -1

N.S.

1 1.00 0.96 2.05 0.00 0.88 0.00 0.00 -0.00

time (sec)

N/A 0.436 2.463 0.444 0.000 0.379 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 191 311 0 163 0 0 -1

N.S.

1 1.00 1.09 1.77 0.00 0.93 0.00 0.00 -0.01

time (sec)

N/A 0.322 2.007 0.413 0.000 0.394 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 196 235 0 144 0 0 -1

N.S.

1 1.00 1.54 1.85 0.00 1.13 0.00 0.00 -0.01

time (sec)

N/A 0.209 1.669 0.391 0.000 0.373 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 326 288 0 203 0 0 -1

N.S.

1 1.00 1.76 1.56 0.00 1.10 0.00 0.00 -0.01

time (sec)

N/A 0.340 3.433 0.414 0.000 3.120 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 836 370 0 246 0 0 -1

N.S.

1 1.00 3.53 1.56 0.00 1.04 0.00 0.00 -0.00

time (sec)

N/A 0.475 6.683 0.420 0.000 4.106 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 261 729 0 266 0 0 -1

N.S.

1 1.00 0.82 2.30 0.00 0.84 0.00 0.00 -0.00

time (sec)

N/A 0.710 6.853 0.494 0.000 0.432 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 243 585 0 246 0 0 -1

N.S.

1 1.00 0.90 2.17 0.00 0.91 0.00 0.00 -0.00

time (sec)

N/A 0.584 3.095 0.477 0.000 0.420 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 219 457 0 210 0 0 -1

N.S.

1 1.00 0.98 2.05 0.00 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.452 2.203 0.430 0.000 0.419 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 216 375 0 207 0 0 -1

N.S.

1 1.00 1.23 2.13 0.00 1.18 0.00 0.00 -0.01

time (sec)

N/A 0.330 1.813 0.403 0.000 0.407 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 213 375 0 205 0 0 -1

N.S.

1 1.00 1.22 2.16 0.00 1.18 0.00 0.00 -0.01

time (sec)

N/A 0.325 1.858 0.410 0.000 0.402 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

234 234 347 476 0 277 0 0 -1

N.S.

1 1.00 1.48 2.03 0.00 1.18 0.00 0.00 -0.00

time (sec)

N/A 0.460 3.580 0.411 0.000 6.504 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

286 286 929 609 0 313 0 0 -1

N.S.

1 1.00 3.25 2.13 0.00 1.09 0.00 0.00 -0.00

time (sec)

N/A 0.617 7.025 0.454 0.000 8.447 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 267 729 0 295 0 0 -1

N.S.

1 1.00 0.84 2.30 0.00 0.93 0.00 0.00 -0.00

time (sec)

N/A 0.724 5.027 0.510 0.000 0.448 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 242 595 0 260 0 0 -1

N.S.

1 1.00 0.90 2.20 0.00 0.96 0.00 0.00 -0.00

time (sec)

N/A 0.591 3.195 0.460 0.000 0.404 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 228 512 0 257 0 0 -1

N.S.

1 1.00 1.02 2.30 0.00 1.15 0.00 0.00 -0.00

time (sec)

N/A 0.460 3.187 0.421 0.000 0.428 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 233 512 0 255 0 0 -1

N.S.

1 1.00 1.05 2.32 0.00 1.15 0.00 0.00 -0.00

time (sec)

N/A 0.456 3.024 0.425 0.000 0.448 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 488 512 0 257 0 0 -1

N.S.

1 1.00 2.21 2.32 0.00 1.16 0.00 0.00 -0.00

time (sec)

N/A 0.458 7.089 0.416 0.000 0.418 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

281 281 365 667 0 338 0 0 -1

N.S.

1 1.00 1.30 2.37 0.00 1.20 0.00 0.00 -0.00

time (sec)

N/A 0.584 6.172 0.436 0.000 8.512 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 1017 855 0 379 0 0 -1

N.S.

1 1.00 3.05 2.57 0.00 1.14 0.00 0.00 -0.00

time (sec)

N/A 0.768 7.374 0.487 0.000 14.490 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 132 636 0 235 0 0 -1

N.S.

1 1.00 0.73 3.53 0.00 1.31 0.00 0.00 -0.01

time (sec)

N/A 0.149 2.023 0.885 0.000 0.127 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 104 401 0 205 0 0 -1

N.S.

1 1.00 0.73 2.80 0.00 1.43 0.00 0.00 -0.01

time (sec)

N/A 0.131 0.924 0.641 0.000 0.113 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 85 246 0 153 0 0 -1

N.S.

1 1.00 0.77 2.22 0.00 1.38 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.299 0.389 0.000 0.104 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 90 326 0 156 0 0 -1

N.S.

1 1.00 0.78 2.83 0.00 1.36 0.00 0.00 -0.01

time (sec)

N/A 0.125 0.268 0.368 0.000 0.112 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 108 371 0 184 0 0 -1

N.S.

1 1.00 0.73 2.51 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.138 0.606 0.373 0.000 0.125 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 125 413 0 203 0 0 -1

N.S.

1 1.00 0.69 2.29 0.00 1.13 0.00 0.00 -0.01

time (sec)

N/A 0.158 1.079 0.348 0.000 0.134 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 171 723 0 286 0 0 -1

N.S.

1 1.00 0.77 3.27 0.00 1.29 0.00 0.00 -0.00

time (sec)

N/A 0.247 2.627 0.987 0.000 0.121 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 125 650 0 247 0 0 -1

N.S.

1 1.00 0.71 3.67 0.00 1.40 0.00 0.00 -0.01

time (sec)

N/A 0.222 1.240 0.675 0.000 0.114 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 124 405 0 208 0 0 -1

N.S.

1 1.00 0.77 2.52 0.00 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.208 0.820 0.463 0.000 0.132 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 128 487 0 226 0 0 -1

N.S.

1 1.00 0.75 2.85 0.00 1.32 0.00 0.00 -0.01

time (sec)

N/A 0.210 0.999 0.389 0.000 0.116 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 161 548 0 254 0 0 -1

N.S.

1 1.00 0.76 2.57 0.00 1.19 0.00 0.00 -0.00

time (sec)

N/A 0.234 1.468 0.433 0.000 0.148 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 225 917 0 364 0 0 -1

N.S.

1 1.00 0.76 3.11 0.00 1.23 0.00 0.00 -0.00

time (sec)

N/A 0.381 3.905 1.326 0.000 0.146 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 192 970 0 326 0 0 -1

N.S.

1 1.00 0.79 3.98 0.00 1.34 0.00 0.00 -0.00

time (sec)

N/A 0.366 1.726 1.003 0.000 0.135 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 166 1210 0 298 0 0 -1

N.S.

1 1.00 0.69 5.06 0.00 1.25 0.00 0.00 -0.00

time (sec)

N/A 0.355 2.068 0.817 0.000 0.146 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 172 641 0 270 0 0 -1

N.S.

1 1.00 0.73 2.70 0.00 1.14 0.00 0.00 -0.00

time (sec)

N/A 0.347 1.544 0.499 0.000 0.152 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 180 664 0 295 0 0 -1

N.S.

1 1.00 0.73 2.71 0.00 1.20 0.00 0.00 -0.00

time (sec)

N/A 0.345 1.404 0.443 0.000 0.149 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 219 745 0 332 0 0 -1

N.S.

1 1.00 0.74 2.53 0.00 1.13 0.00 0.00 -0.00

time (sec)

N/A 0.375 1.981 0.428 0.000 0.169 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 225 441 0 0 0 0 -1

N.S.

1 1.00 1.07 2.10 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.510 33.680 0.797 0.000 0.000 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 125 300 0 0 0 0 -1

N.S.

1 1.00 0.99 2.38 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.279 31.371 0.465 0.000 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 76 217 0 0 0 0 -1

N.S.

1 1.00 0.75 2.15 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.170 20.606 0.342 0.000 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 220 295 0 0 0 0 -1

N.S.

1 1.00 1.48 1.98 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.221 36.910 0.367 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

197 197 542 822 0 0 0 0 -1

N.S.

1 1.00 2.75 4.17 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.349 36.817 0.455 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

405 405 735 1004 0 0 0 0 -1

N.S.

1 1.00 1.81 2.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.827 37.165 1.683 0.000 0.000 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

316 316 681 856 0 0 0 0 -1

N.S.

1 1.00 2.16 2.71 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.597 36.983 0.914 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

260 260 639 721 0 0 0 0 -1

N.S.

1 1.00 2.46 2.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.388 36.894 0.724 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

258 258 626 808 0 0 0 0 -1

N.S.

1 1.00 2.43 3.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.378 36.872 0.754 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

284 284 655 849 0 0 0 0 -1

N.S.

1 1.00 2.31 2.99 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.419 36.892 0.893 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

363 363 701 1066 0 0 0 0 -1

N.S.

1 1.00 1.93 2.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.604 37.106 1.034 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

480 480 844 1975 0 0 0 0 -1

N.S.

1 1.00 1.76 4.11 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.920 37.360 1.839 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

405 405 797 1744 0 0 0 0 -1

N.S.

1 1.00 1.97 4.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.666 37.079 1.507 0.000 0.000 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

402 402 784 1850 0 0 0 0 -1

N.S.

1 1.00 1.95 4.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.669 37.031 1.520 0.000 0.000 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

400 400 786 1937 0 0 0 0 -1

N.S.

1 1.00 1.96 4.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.624 37.027 1.552 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

427 427 820 1977 0 0 0 0 -1

N.S.

1 1.00 1.92 4.63 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.674 37.157 1.661 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

521 521 865 2195 0 0 0 0 -1

N.S.

1 1.00 1.66 4.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.965 37.386 1.906 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 47 214 0 91 0 0 -1

N.S.

1 1.00 0.73 3.34 0.00 1.42 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.082 0.290 0.000 0.136 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 46 183 0 76 0 0 -1

N.S.

1 1.00 0.77 3.05 0.00 1.27 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.056 0.297 0.000 0.104 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 134 0 53 0 0 -1

N.S.

1 1.00 1.00 3.62 0.00 1.43 0.00 0.00 -0.03

time (sec)

N/A 0.016 0.037 0.286 0.000 0.095 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 134 0 59 0 0 -1

N.S.

1 1.00 1.00 3.62 0.00 1.59 0.00 0.00 -0.03

time (sec)

N/A 0.016 0.043 0.238 0.000 0.106 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 50 180 0 71 0 0 -1

N.S.

1 1.00 0.78 2.81 0.00 1.11 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.054 0.300 0.000 0.112 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 56 203 0 77 0 0 -1

N.S.

1 1.00 0.88 3.17 0.00 1.20 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.086 0.340 0.000 0.114 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

473 473 3321 3436 0 0 0 0 -1

N.S.

1 1.00 7.02 7.26 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.898 24.034 2.176 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

390 390 423 2487 0 0 0 0 -1

N.S.

1 1.00 1.08 6.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.610 17.670 0.554 0.000 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

324 324 346 1735 0 0 0 0 -1

N.S.

1 1.00 1.07 5.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.403 14.691 0.417 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

411 411 635 1361 0 0 0 0 -1

N.S.

1 1.00 1.55 3.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.422 17.246 0.462 0.000 0.000 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

445 445 787 1369 0 0 0 0 -1

N.S.

1 1.00 1.77 3.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.551 17.291 0.587 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

533 533 1121 2054 0 0 0 0 -1

N.S.

1 1.00 2.10 3.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.792 18.065 0.506 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

620 620 1533 2956 0 0 0 0 -1

N.S.

1 1.00 2.47 4.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.071 14.611 0.532 0.000 0.000 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

562 562 3739 4399 0 0 0 0 -1

N.S.

1 1.00 6.65 7.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.302 25.756 0.769 0.000 0.000 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

473 473 3318 3421 0 0 0 0 -1

N.S.

1 1.00 7.01 7.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.930 24.136 0.583 0.000 0.000 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

393 393 427 2674 0 0 0 0 -1

N.S.

1 1.00 1.09 6.80 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.690 18.123 0.480 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

479 479 5981 2329 0 0 0 0 -1

N.S.

1 1.00 12.49 4.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.670 24.447 0.422 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]